منابع مشابه
Finding and Fixing Faults
We present a method for combined fault localization and correction for sequential systems. We assume that the specification is given in linear-time temporal logic and state the localization and correction problem as a game that is won if there is a correction that is valid for all possible inputs. For invariants, our method guarantees that a correction is found if one exists. The set of fault m...
متن کاملAnalyzing and predicting effort associated with finding and fixing software faults
Context: Software developers spend a significant amount of time fixing faults. However, not many papers have addressed the actual effort needed to fix software faults. Objective: The objective of this paper is twofold: (1) analysis of the effort needed to fix software faults and how it was affected by several factors and (2) prediction of the level of fix implementation effort based on the info...
متن کاملFinding and Fixing Bugs in Liquid Haskell
Dependent types provide strong guarantees but can be hard to program, admitting mistakes in the implementation as well as the specification. We present algorithms for resolving verification failures by both finding bugs in implementations and also completing annotations in the refinement type framework. We present a fault localization algorithm for finding likely bug locations when verification...
متن کاملFinding faults in multi-threaded programs
Multi-threaded programming creates the fundamental problem that the execution of a program is no longer deterministic, because the thread schedule is not controlled by the application. This causes traditional testing methods to be rather ineffective. Trilogy, producing many multi-threaded server programs, also has to deal with the limitations of regression testing. New approaches to this proble...
متن کاملThe Location of our Debates: Finding, Fixing, and Enacting Reality
Working in the long historical shadow of what has been taken to be debates between quantitative and qualitative methods, Osatuke and Stiles (2011), Westerman (2011), and Yanchar (2011) seek to move beyond those debates and even the various détentes posed in mixed-methods research. Their projects can be assessed in terms of this seemingly permanent shadow and also within a broader framing of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2012
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2011.05.005